A Process Algebra for Timed Systems
نویسندگان
چکیده
منابع مشابه
A (max,+) Algebra for Non-stationary Periodic Timed Discrete Event Systems
We deene and implement a (max,+) algebra of signals for the timing analysis of discrete event systems expressed as timed event graphs. A system is deened by the innnite, periodic time sequences of its events. Each sequence has a nite representations called a signal. The resulting tool can also compute supre-mal controllers for timed discrete event systems.
متن کاملSpecification and Analysis of Hardware Systems Using Timed Process Algebras
The ability of unambiguously specifying (in a mathematical sense) and rigorously analysing timing properties/constraints is fundamental to design correct hardware systems. Formalisms in which hardware behaviour and timing properties can be precisely captured is a mandatory prerequisite for designing correct hardware systems (discrete-time systems by nature). Timed process algebras are such form...
متن کاملA theory of Stochastic systems. Part II: Process algebra
This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, that extends traditional process algebra with timed actions whose delay is governed by general (a.o. continuous) probability distributions. The operational semantics is defined in terms of stochastic automata, a model that uses clocks—like in timed automata—to symbolically represent randomly timed...
متن کاملA Process Algebraic Approach to theSpeci cation and Analysis of Resource - BoundReal - Time Systems
Recently, signiicant progress has been made in the development of timed process algebras for the speciication and analysis of real-time systems. This paper describes a timed process algebra called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to ca...
متن کاملA Process Algebra and Tools for the Speci cation and Analysis of Resource-Bound Real-Time System
There has been signiicant progress in the development of timed process algebra for the speciication and analysis of real-time systems in recent years. This chapter describes a timed process algebra, called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchroni...
متن کاملForgetting the Time in Timed Process Algebra
In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of system behaviour. Adding this notion leads to so-called partially timed process algebras and partially timed labelled transition systems. We describe these notions, and generalise timed branching bisimilarity to partially timed bra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 117 شماره
صفحات -
تاریخ انتشار 1995